//import junit.framework.TestCase;
//import org.apache.commons.collections.map.MultiValueMap;
//
//
//import sketch.ounit.Observer;
//
//public class TestObserver extends TestCase {
//	
//	public void xtestRewrte(){
//	    MultiValueMap map=new MultiValueMap();
//	    map.put("A","AA");
//	    this.assertEquals(1,map.size());
//	    map.put("B","BB");
//	    this.assertEquals(2,map.size());
//	    map.put("C","CC");
//	    this.assertEquals(3,map.size());
//	    map.put("D","D");
//	    this.assertEquals(4,map.size());
//	  }
//	
//	public void testrewriteTryCatch5(){
//	    sketch.instrumenter.Tracer.startMethod("rewriteTryCatch5");
//	    try {
//	      String x = "";
//	      sketch.instrumenter.Tracer.recordFailPosition(20);
//	    }
//	   catch (Throwable e$$_wrapped) {
//	      sketch.instrumenter.Tracer.recordException(20,e$$_wrapped);
//	    }
//	    sketch.instrumenter.Tracer.endMethod("rewriteTryCatch5");
//	  }
//	
//	public void testrewriteTryCatch6(){
//	    sketch.instrumenter.Tracer.startMethod("rewriteTryCatch6");
//	    try {
//	      if(System.currentTimeMillis() != 0) {
//	        throw new RuntimeException();
//	      }
//	      sketch.instrumenter.Tracer.recordFailPosition(20);
//	    }
//	   catch (Throwable e$$_wrapped) {
//	      sketch.instrumenter.Tracer.recordException(20,e$$_wrapped);
//	    }
//	    sketch.instrumenter.Tracer.endMethod("rewriteTryCatch6");
//	  }
//
////	@sketch.ounit.OUnit
////	public void testRewriteSize() {
////		sketch.instrumenter.Tracer.startMethod("rewriteSize");
////		MultiValueMap map = new MultiValueMap();
////		map.put("A", "AA");
////		sketch.instrumenter.Tracer.recordObservation(23, "map.size()");
////		Observer.observeExpr(map.size());
////		map.put("B", "BB");
////		sketch.instrumenter.Tracer.recordObservation(25, "map.size()");
////		Observer.observeExpr(map.size());
////		map.put("C", "CC");
////		sketch.instrumenter.Tracer.recordObservation(27, "map.size()");
////		Observer.observeExpr(map.size());
////		map.put("D", "D");
////		sketch.instrumenter.Tracer.recordObservation(29, "map.size()");
////		Observer.observeExpr(map.size());
////		sketch.instrumenter.Tracer.endMethod("rewriteSize");
////	}
//
//}
